using System;
using Microsoft.Pex.Framework;
using snapshottrees;

namespace snapshottrees
{
    /// <summary>A factory for snapshottrees.LLTree instances</summary>
    public static partial class LLTreeFactory
    {
        /// <summary>A factory for snapshottrees.LLTree instances</summary>
        [PexFactoryMethod(typeof(LLTree))]
        public static LLTree Create()
        {
            LLTree lLTree = new LLTree();

            lLTree.add(2);
            lLTree.add(11);
            lLTree.add(3);
            lLTree.add(7);
            lLTree.add(13);
            lLTree.add(13);
            lLTree.add(5);

            return lLTree;
        }
        /// <summary>A factory for snapshottrees.LLTree+Node instances</summary>
        [PexFactoryMethod(typeof(ITree), "snapshottrees.LLTree+Node")]
        public static object CreateNode(int item)
        {
            LLTree.Node node = new LLTree.Node(item);
            return node;
        }
    }
}
